- 多態(tài)性λ微積分
- lambda calculus: lambda可定義函數(shù); Λ-遞歸函數(shù); Λ演算; λ演算; 無(wú)類型 lambda 演算; 無(wú)類型lambda演算; 演算
- normalization property (lambda-calculus): 規(guī)范化性質(zhì)
- simply typed lambda calculus: 簡(jiǎn)單類型 lambda 演算; 簡(jiǎn)單類型lambda演算
- typed lambda calculus: 有類型 lambda 演算; 有類型lambda演算
- polymorphic: adj. ＝polymorphous.
下載手機(jī)詞典可隨時(shí)隨地查詞查翻譯